A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
arxiv.org·1d
📝Term Rewriting
Lessons from building an AI data analyst
pedronasc.com·12h·
Discuss: Hacker News
✓Automated Theorem Proving
A quantum equivalent to Bayes' rule
lesswrong.com·1d
🧮Lambda Calculus
Lively Linear Lisp (1992)
plover.com·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Systems Engineering for Agentic Applications
agenticapplications.substack.com·15h·
Discuss: r/programming
🩹Self-Healing Systems
Cyclic Implicit Complexity
arxiv.org·1d
🐫OCaml
Breaking Verifiable Abstractions
alperenkeles.com·16h·
Discuss: Hacker News, r/programming
🔍Formal Verification
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·1d·
Discuss: Hacker News
🔠Type-Level Programming
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·10h·
Discuss: Hacker News
🧩Parser Combinators
The Paradigm
nonint.com·8h·
Discuss: Hacker News
📚Automata Learning
Tau² Benchmark in Action: Early Results and Key Takeaways
quesma.com·19h·
Discuss: Hacker News
👁️System Observability
Output Schema for CodeAct AI Agents: From Trial-and-Error to Predictive Planning
huggingface.co·1d·
Discuss: Hacker News
✓Automated Theorem Proving
The limits of ChatGPT: a week of interaction and AI research
marktarver.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Need a automation specialist asap can pay
reddit.com·1h·
Discuss: r/programming
🤖Program Synthesis
Embedding MicroHs
thma.github.io·3d
🐫OCaml
DynaMark: A Reinforcement Learning Framework for Dynamic Watermarking in Industrial Machine Tool Controllers
arxiv.org·1d
🩹Self-Healing Systems
Tradeoffs of Highly-Expressive Types
jnkr.tech·2d·
Discuss: Hacker News
🔠Type-Level Programming
Show HN: Core – open-source memory graph for AI agents (88.24% SOTA on LoCoMo)
blog.heysol.ai·13h·
Discuss: Hacker News
📚Automata Learning
ORCA: ORchestrating Causal Agent
arxiv.org·1d
⚙Operational Semantics
Use Bayes rule to mechanically solve probability riddles
cloud.disroot.org·1d·
Discuss: Hacker News
✓Automated Theorem Proving